扭n立方体中的边不交Hamilton圈

网络图的Hamilton性是图论、计算机网络理论中的重要研究议题，超立方体及其变体由于其良好的网络参数、拓扑结构吸引了众多学者的关注和研究，并将之广泛地应用于许多实际领域中．结合Lee距离Gray码理论证明了扭n方体中存在[n／2]个边不交Hamilton圈，并且给出这些边不交Hamilton圈的生成方法．     

n-方体的点可区别全色数的渐近性态

令Qn为n-方体,图G的点可区别全色数为χvt(G),那么limn→∞vχt(Qn)n=1 q*.这里q*=0.293815…是方程(x 1)x 1=2xx的唯一的正根.     

INS_面向k-ary n-cube的互联网模拟器

目前流行的mesh、torus和hypercube等互联网均可综合成k-ary n-cube网。为分析k-ary n-cube网的性能，必须建立它的仿真模型，而传统的通用仿真工具不适合对这种互联网的模拟。本文介绍了利用事件推进法建立的互联网模拟器INS(Interconnection Network Simulator)。与其他互联网模拟器的结果比较表明，该模拟器具有较好的应用价值。     

完全分叉树理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.     

完全k叉树理论的可数模型及其胞腔性

将在逻辑Lω1ω中把完全k(kω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质.     

边故障3-aryn立方体中两条无故障点不交路

文中用归纳假设法证明了结论：当n≥2,FE（Qn3）,∣F∣≤2 n-4,令x1,y1,x2,y 2是Qn 3中任意四个顶点,则在Qn 3-F中存在两条顶点不交的路P1和P2,使得V（P1）∪V（P2）=V（Q n3）,这里P1连接x1和y1,P 2连接x 2和y 2.     

INS＿面向k—ary n—cube的互联网模拟器

目前流行的mesh,torus和hypercube等互联网均可综合成k-ary n-cube 网。为分析k-ary n-cube网的性能，必须建立它的仿真模型，而传统的通用仿真工具不适合对这种互联网的模拟。本文介绍了利用事件推进法建立的互联网模拟器 INS(Ｉnterconnection Network Simulator）。与其它互联网模拟器的结果比较表明，该模拟器具有较好的应用价值。     

平衡k叉树网络的平均路径长度和链路效率

对平衡k叉树网络进行深入分析,得到n层平衡k叉树网络中平均路径长度和链路效率的精确计算公式.利用得到的计算公式,通过Matlab软件绘图,分析了平均路径长度和链路效率随网络层数n的变化趋势.得出平均路径长度是网络层数n的增函数,并且可用线性表达式近似表示;链路效率随网络层数n的增加而增加,并且趋于1.     

k元n方体的最优条件匹配排除集

设E是图G的一个边子集,若G-E中既不包含孤立点,也没有完美匹配和几乎完美匹配,则称E为G的一个条件匹配排除集.边数最少的条件匹配排除集,称为最优条件匹配排除集.文章给出了k元n方体的最优条件匹配排除集.     

Qn方体中最大导出环问题的算法

研究了求ｎ方体Ｑ＾ｎ中最大导出环Ｓｎ的算法问题。目前只知道Ｓ２＝４，Ｓ３＝６，Ｓ４＝８，Ｓ５＝１４，Ｓ６＝２６，这些结果的获得全部是采用数学推理证明形式。从给出优化的计算机回溯算法角度，通过计算机运行，来解决求Ｑ＾ｎ中最大民出环问题。利用所给出的回溯算法，我们得到了Ｑ＾７的一个最大导出环为４８．证明了Ｓ７≥４８。